Safety Functions in Railways

Applying Frequency Response method for contact Rails Fault Diagnosing in Ungrounded Electrical Railway System

Abstract General faults in regular electrical railways system could be detect by implementing the specific protection functions such as ground fault or sensitive earth fault. Otherwise, in ungrounded electrical railway systems which using both feeding and return contact rail at the same time, fault detection cannot done with above-mentioned function. Due to recent growth in electrical railway ...

Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System

Formal verification and validation is a fundamental step for the certification of railways critical systems. Many railways safety standards (e.g. the CENELEC EN-50126, EN-50128 and EN-50129 standards implement the mandatory safety requirements of IEC-61508-7 standard for Functional and Safety) currently mandate the use of formal methods in the design to certify correctness. In this paper we des...

Radio-based Train Control System

Yuichi Baba Atsushi Hiratsuka Eiji Sasaki Osamu Yamamoto Masakazu Miyamoto OVERVIEW: Railways must operate safely and in accordance with their timetables, and the signalling systems responsible for ensuring safety have been progressively improved in response to demand for greater safety, reliability, and efficiency. Drawing on technology built up through its experience with signals and safety s...

Safety climate in Australian railways

Safety and Line Capacity in Railways - An Approach in Timed CSP

Railways need to be safe and, at the same time, should offer high capacity. While the notion of safety is well understood in the railway domain, the meaning of capacity is understood only on an intuitive and informal level. In this study, we show how to define and analyse capacity in a rigorous way. Our modelling approach builds on an established modelling technique in the process algebra Csp f...